منابع مشابه
Du TAL au TIL
position paper. Historically two types of NLP have been investigated: fully automated processing of language by machines (NLP) and autonomous processing of natural language by people, i.e. the human brain (psycholinguistics). We believe that there is room and need for another kind, INLP: interactive natural language processing. This intermediate approach starts from peoples’ needs, trying to br...
متن کاملDeductive Reasoning using TIL
Transparent Intensional Logic (TIL) is a highly expressive logical system apt for the logical analysis of natural language. It operates with a single procedural semantics for all kinds of logical-semantic context, whether extensional, intensional or hyper-intensional, while adhering to the compositionality principle throughout. The reason why we vote for a rich procedural semantics is this. A c...
متن کامل1:1 AV tachycardia: what is the mechanism?
A 53-year-old man with nonischemic cardiomyopathy, left bundle branch block QRS morphology, and congestive heart failure underwent biventricular implantable cardioverter defibrillator (ICD) (Model V365; St. Jude Medical Corporation, Sunnyvale, CA, USA) placement for primary prevention of sudden cardiac death. The device was programmed with two zones: ventricular fibrillation (VF) zone at 210 bp...
متن کاملEine entscheidbare Klasse n-stelliger Horn-Prädikate
Das Rechnen mit unendlichen Mengen von Grundtermen hat zahlreiche Anwendungen, speziell auf den Gebieten der Programmanalyse und des automatischen Beweisens: z.B. Typ-Inferenz in PROLOG, basierend auf einer oberen Abschätzung der Extension von Prädikaten [9]; Berechnung einfacher Invarianten imperativer Programme [8]; Beschreibung von Bildmengen von Abstraktionsfunktionen in Implementierungsbew...
متن کاملTIL and Logic Programming
The paper introduces a method of transition from TIL into Prolog system and vice versa, in order to utilize Prolog inference machine in the deductive system of TIL. We specify a subset of the set of TIL constructions the elements of which can be encoded in Prolog language, and introduce the method of translation from TIL into Prolog. Since Prolog is less expressive than TIL, we have to build up...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Tidsskrift for Den norske legeforening
سال: 2014
ISSN: 0029-2001
DOI: 10.4045/tidsskr.14.0807